Integrating formal methods into traditional practices for software development: an overview
نویسنده
چکیده
This paper shows an overview of a research project for integrating formal methods in popular practices for software development in México. The article shows only the main results from the survey about methods and practices and an overview of the initial proposal of practices applying lightweight formal methods to requirements specification and software modelling. Keywords— requirements specification; software modelling; lightweight formal methods.
منابع مشابه
Pnm-10: Towards Integrating The Traditional Medicine with Modern Medical Approaches in Infertility
Background ART is costly for governments and couples seeking treatment. In addition to any other costs that may arise during treatment, such as medication, consultations and extra procedures, women undergoing IVF experience physical and emotional stress. Furthermore, it is not always possible to get a favorable outcome. Despite all the remarkable scientific advances in modern medicine, traditio...
متن کاملCapturing and Formalizing Best Practices in a Software Development Organization
The number of resources the modern software developer must utilize to create applications is simply astounding. Process models, development methods, technologies, and development tools barely scratch the surface of the arsenal contained in the software designer’s toolbox. But the software engineering community has for the most part ignored the resulting knowledge and tool mastery burden, opting...
متن کاملDeveloping Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملKeY: A Formal Method for Object-Oriented Systems
This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of object-oriented software. It aims for integrating design, implementation, formal specification and formal verification as seamlessly as possible. The intention is to provide a platform that allows close collaboration of conventi...
متن کاملFormal or Informal, Practical or Impractical: Towards Integrating Formal Methods with Informal Practices in Software Engineering Education
Tw o conflicting schools of thought have been dominating software engineering education. One school stresses on the popular software development methodologies, but horror stories on poorly designed systems are not uncommon. The other school advocates formal methods, but most practitioners regard them as impractical. We recommend that we should bridge the gap between the formal and informal by b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1412.3504 شماره
صفحات -
تاریخ انتشار 2014